Wyniki
-
An Elementary Proof of Strong Normalization for Atomic F
Fernando Ferreira, Gilda Ferreira
Bulletin of the Section of Logic , 45 /1 (2016) s. 1-16 -
Is fork set-theoretical?
Paulo A.S. Veloso
Bulletin of the Section of Logic , 26 /1 (1997) s. 20-30 -
Characterisations for fork algebras and their relational reducts
Paulo A.S. Veloso
Bulletin of the Section of Logic , 26 /3 (1997) s. 144-155 -
On the independence of the axioms for fork algebras
Paulo A.S. Veloso
Bulletin of the Section of Logic , 26 /4 (1997) s. 197-209 -
On eight independent equational axiom-atisations for fork algebras
Paulo A.S. Veloso
Bulletin of the Section of Logic , 27 /3 (1998) s. 117-129 -
On ultrafilter logic and a missing axiom
Paulo A.S. Veloso
Bulletin of the Section of Logic , 28 /1 (1999) s. 17-26 -
Why ultrafilters for almost all
Paulo A.S. Veloso
Bulletin of the Section of Logic , 28 /4 (1999) s. 183-193 -
On some misconceptions about ultrafilter logic
Paulo A.S. Veloso
Bulletin of the Section of Logic , 29 /1-2 (2000) s. 1-12 -
On the power of ultrafilter logic
Paulo A.S. Veloso
Bulletin of the Section of Logic , 29 /3 (2000) s. 89-97 -
On Set Theory as a Foundation for Computer Science
F.A. Doria, N.C.A. da Costa
Bulletin of the Section of Logic , 33 /1 (2004) s. 33-40 -
A finitary relational algebra for classical first-order logic
Paulo A.S. Veloso, Armando M. Haeberer
Bulletin of the Section of Logic , 20 /2 (1991) s. 52-62 -
On the problem of Jaskowski and the logics of Lukasiewicz
Jerzy Kotas, Newton C.A. da Costa
Bulletin of the Section of Logic , 7 /2 (1978) s. 91 -
Incomplete satisfiability problems
Newton C.A. da Costa, F.A. Doria
Bulletin of the Section of Logic , 22 /4 (1993) s. 150-157 -
A note on temporal logic
Newton C.A. da Costa, S. French
Bulletin of the Section of Logic , 18 /2 (1989) s. 51-121 -
On the existence of very difficult satisfiability problem
Newton C.A. da Costa, F.A. Doria
Bulletin of the Section of Logic , 21 /4 (1992) s. 122-133 -
Relations between paraconsistent logic and many-valued logic
Newton C.A. da Costa, Elias H. Alves
Bulletin of the Section of Logic , 10 /4 (1981) s. 185-190 -
Carnot's logic
Newton C.A. da costa, Jean-Yves Beziau
Bulletin of the Section of Logic , 22 /3 (1993) s. 98-105 -
Logic with deontic and legal modalities : preliminary account
Leila Z. Puga, Newton C.A. da Costa
Bulletin of the Section of Logic , 16 /2 (1987) s. 71-75 -
The undecidability of formal definitions in the theory of finite groups
Newton C.A. da Costa, F.A. Doria, Marcelo Tsuji
Bulletin of the Section of Logic , 24 /2 (1995) s. 56-63 -
A finite axiomatization for fork algebras
Marcelo F. Frias, Armando M. Haeberer, Paulo A.S. Veloso
Bulletin of the Section of Logic , 24 /4 (1995) s. 193-200